home *** CD-ROM | disk | FTP | other *** search
- c:bat /n * erase %1.ech, %1.dia, %1.pun, %1.src
- bat *** it is assumed that %1.pun has been renamed or modified
- bat *** for use as a target language source file, and that
- bat *** the other files have been printed or are no longer needed)
- BAT SHELL
- bat %i = 1
- bat -loopt
- bat if %1 $ %i 1 <> . then goto -notper
- BAT TYPE enter filename without extension of any kind
- bat exit
- bat -notper
- BAT %i = %i + 1
- bat if %i < 10 then goto -loopt
- erase %1.ech
- erase %1.dia
- erase %1.pun
- erase %1.src